//
// Created by wze-zero on 2024/9/8 008.
//
#include <iostream>

using namespace std;

int main() {
    int num, sum = 0;
    for (int i = 0; i < 3; ++i) {
        cin >> num;
        sum += num;
    }
    sum / 3 < 60 ? cout << "YES" << endl : cout << "NO" << endl;
    return 0;
}